A Simple Ordering for De iding Modal Logi

On First Order Logi of Proofs

The Logi of Proofs LP solved a long standing Godel's problem onerning his provability al ulus ( f. [4℄). It also opened new lines of resear h in proof theory, modal logi , typed programming languages, knowledge representation, et . The propositional logi of proofs is de idable and admits a omplete axiomatization. In this paper we show that the rst order logi of proofs is not re ursively axioma...

A Note on Graded Modal Logi

Epistemi Logi : A Survey

Epistemi logi is the logi of knowledge: how do you reason about the question whether your silent admirer knows that you know that (s)he sent you an anonymous Valentine ard? Is it harmful if, at a literature-exam you don't know the ontents of a hapter? No, as long as you know that the examiner does not know that you do not know it. Knowing whether your neighbor knows that he regularly plays his ...

Combining Dynami Logi with Doxasti Modal Logi

On IF Modal Logi and its Expressive Power